1. Einführung in die klassische Philologie /
پدیدآورنده : Gerhard Jäger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Classical philology.,Classical philology.,Filologie.,Klassieke talen.
رده :
PA93
.
J3
2. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
3. Language, Games, and Evolution
پدیدآورنده : edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computational complexity.,Computer science.,Computer software.
4. Private military and security companies
پدیدآورنده : Thomas Jäger, Gerhard Kümmel (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Contracting out.,Internal security-- Government policy.,Mercenary troops.,National security-- Government policy.,Paramilitary forces.,Private military companies.,Private security services.,Privatization.,Security, International-- Government policy.
5. Theories for admissible sets :
پدیدآورنده : Gerhard Jäger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Admissible sets,Definability theory (Mathematical logic),Proof theory
6. Theories for admissible sets : a unifying approach to proof theory
پدیدآورنده : Jager, Gerhard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Admissible sets
رده :
QA
9
.
54
.
J34
1986
